#include <string>

#include "Convert.h"
#include "NondeterministicFiniteAutomaton.h"

using std::string;

void NondeterministicFiniteAutomaton::writeProgram(const string& fileName)
{
	Convert::toDeterministicFiniteAutomaton(*this).writeProgram( fileName );
}
